4
Hardver- és szoftverrendszerek verifikációja

Hardver- és szoftverrendszerek verifikációja

Ésik Zoltán, Gombás Éva, Németh L. Zoltán
Έτος:
2011
Γλώσσα:
hungarian
Αρχείο:
PDF, 2.76 MB
0 / 0
hungarian, 2011
6
Modern Automata Theory

Modern Automata Theory

Zoltán Ésik, Werner Kuich
Γλώσσα:
english
Αρχείο:
PDF, 1.11 MB
0 / 0
english
9
A számítástudomány alapjai : egyetemi tananyag

A számítástudomány alapjai : egyetemi tananyag

Ésik Zoltán
Έτος:
2011
Γλώσσα:
hungarian
Αρχείο:
PDF, 787 KB
0 / 0
hungarian, 2011
10
Automaták és formális nyelvek példatár : egyetemi tananyag

Automaták és formális nyelvek példatár : egyetemi tananyag

Ésik Zoltán, Gombás Éva, Iván Szabolcs
Έτος:
2011
Γλώσσα:
hungarian
Αρχείο:
PDF, 2.02 MB
0 / 0
hungarian, 2011
14
Beyond Two: Theory and Applications of Multiple-Valued Logic

Beyond Two: Theory and Applications of Multiple-Valued Logic

Janusz Brzozowski, Zoltán Ésik, Yaacov Iland (auth.), Professor Dr. Melvin Fitting, Professor Dr. Ewa Orłowska (eds.)
Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 17.24 MB
0 / 0
english, 2003
15
Iteration Theories: The Equational Logic of Iterative Processes

Iteration Theories: The Equational Logic of Iterative Processes

Stephen L. Bloom, Zoltán Ésik
Έτος:
1993
Γλώσσα:
english
Αρχείο:
PDF, 43.04 MB
0 / 0
english, 1993
16
Recent Advances in Formal Languages and Applications

Recent Advances in Formal Languages and Applications

Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana
Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 8.96 MB
0 / 0
english, 2006